1. A Boolean algebra, abstract and concrete
پدیدآورنده : Bowran, A. P.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Algebra, Boolean
رده :
QA
266
.
B6
2. A Boolean algebra, abstract and concrete
پدیدآورنده : Bowran, A. P.
موضوع : ، Algebra, Boolean
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
3. AQA A level Computer Science.
پدیدآورنده :
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science, Problems, exercises, etc.,Computer science.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
رده :
QA76
4. Algebra of Conscience :
پدیدآورنده : by Vladimir A. Lefebvre.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Ethics.,Philosophy (General)
رده :
BJ1031
.
B985
1982
5. Algebras and Orders
پدیدآورنده : edited by Ivo G. Rosenberg, Gert Sabidussi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra.,Computational complexity.,Mathematics.
رده :
QA251
.
E358
1993
6. Applied Abstract Algebra
پدیدآورنده : by Rudolf Lidl, Günter Pilz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra.,Mathematics.
7. Computational Logic - CL 2000 :
پدیدآورنده : edited by John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer architecture.,Computer science.,Software engineering.
رده :
QA76
.
9
.
L63
E358
2000
8. Discrete Morse theory /
پدیدآورنده : Nicholas A. Scoville.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Geometry, Differential.,Homotopy theory.,Morse theory.,Algebraic topology -- Applied homological algebra and category theory [See also 18Gxx] -- Abstract complexes.,Geometry, Differential.,Global analysis, analysis on manifolds [See also 32Cxx, 32Fxx, 32Wxx, 46-XX, 47Hxx, 53Cxx] {For geometric integration theory, see 49Q15} -- Variational problems in infinite-dimensional spaces -- Abstr.,Homotopy theory.,Manifolds and cell complexes {For complex manifolds, see 32Qxx} -- PL-topology -- General topology of complexes.,Manifolds and cell complexes {For complex manifolds, see 32Qxx} -- PL-topology -- Simple homotopy type, Whitehead torsion, Reidemeister-Franz torsion, etc. [See also 19B28].,Morse theory.,Morse-Theorie
رده :
QA612
.
7
.
S36
2019
9. Discrete mathematics
پدیدآورنده : by Seymour Lipschutz, Ph.D. and Marc Lars Lipson, Ph.D.
کتابخانه: كتابخانه دانشگاه صنعتی اروميه (آذربایجان غربی)
موضوع : Algebra, Abstract- Outlines, syllabi, etc,Combinatorial analysis- Outlines, syllabi, etc,Logic, Symbolic and mathematical- Outlines, syllabi, etc
رده :
QA
,
162
,.
D57
,
2007
10. Discrete mathematics :
پدیدآورنده : Douglas E. Ensley, J. Winston Crawley.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science-- Mathematics.,Logic, Symbolic and mathematical.,Mathematical recreations.,Computer science-- Mathematics.,Computerwiskunde.,Logic, Symbolic and mathematical.,Mathematical recreations.,Numerieke wiskunde.,Wiskundige logica.
رده :
QA9
.
25
.
E57
2006
11. Don Pigozzi on abstract algebraic logic, universal algebra, and computer science /
پدیدآورنده : Janusz Czelakowski, editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Pigozzi, Don,1935-,Algebra, Universal.,Algebraic logic.,Computer science.,Mathematicians-- United States.,Algebra, Universal.,Algebraic logic.,Computer science.,Mathematicians.,MATHEMATICS-- Essays.,MATHEMATICS-- Pre-Calculus.,MATHEMATICS-- Reference.,United States., 7
رده :
QA29
.
P54
12. Foundations of computer science /
پدیدآورنده : Behrouz Forouzan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Computer science.,Informatique-- Manuels d'enseignement supérieur.
رده :
QA76
.
F623
2018
13. Introduction to lattices and order /
پدیدآورنده : B.A. Davey, H.A. Priestley.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Lattice theory.
رده :
QA171
.
5
.
D38
2002
14. Mathematical Foundations of Computer Science 1989 :
پدیدآورنده : edited by Antoni Kreczmar, Grazyna Mirkowska.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Computer software.,Logic design.
رده :
QA76
.
9
.
M35
E358
1989
15. Mathematics and computation :
پدیدآورنده : Avi Wigderson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra, Boolean.,Computational complexity.,Cryptography.,Algebra, Boolean.,Computational complexity.,Cryptography.,MATHEMATICS / General.
رده :
QA267
.
7
16. Modern algebra with applications /
پدیدآورنده : William J. Gilbert, W. Keith Nicholson
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra, Abstract
رده :
QA162
.
G53
2004
17. Modern algebra with applications
پدیدآورنده : / William J. Gilbert, W. Keith Nicholson
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Algebra, Abstract
رده :
E-BOOK
18. Pseudo-Boolean programming and applications
پدیدآورنده : Hammer, Peter L.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Programming )Mathematics(,، Algebra, Boolean
رده :
QA
3
.
L28
no
.
9
19. Pseudo-Boolean programming and applications
پدیدآورنده : Ivanescu, Petru L.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Programming )Mathematics(,، Algebra, Boolean
رده :
QA
3
.
L28
Vol
.
9
20. Pseudo-Boolean programming and applications.]Lectures[ presented at the Colloquium on Mathematics and Cybernetics in the Economy, Berlin, October 1964
پدیدآورنده : Hammer, P. L.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Programming )Mathematics(,، Algebra, Boolean
رده :
QA
3
.
L28
no
.
9
